Notation for theoretic scheduling problems